bench_dir=$1
parse_root=/public/home/jwli/workSpace/yongkang/AAAI-24July-labs/experiments_from_24.0726/lab_results_parser

set -x

$parse_root/synviasat-21FP-js/app.js --benchmark=sm1000 --type=ltlfsynSyft --dir=$bench_dir
diff $parse_root/experiment_results/old_sm1000-envfirst_beforeCopy/output_sm1000_ltlfsyn.csv $bench_dir/output_sm1000_ltlfsynSyft.csv